大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Micro 的图书(共9047本)

Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

0
索取号：
作者：Bouajjani、 Ahmed.、Maler、 Oded.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

0
索取号：
作者：Bergel、 Alexandre.、Fabry、 Johan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

0
索取号：
作者：P膬s膬reanu、 Corina S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Information Security and Its Application [electronic resource] : Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings

0
索取号：
作者：Park、 Jong Hyuk.、Zhan、 Justin.、Lee、 Changhoon.、Wang、 Guilin.、Kim、 Tai-hoon.、Yeo、 Sang-Soo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Scalability of Networks and Services [electronic resource] : Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30鈥揓uly 2, 2009. Proceedings

0
索取号：
作者：Sadre、 Ramin.、Pras、 Aiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Information Security and Assurance [electronic resource] : Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings

0
索取号：
作者：Park、 Jong Hyuk.、Chen、 Hsiao-Hwa.、Atiquzzaman、 Mohammed.、Lee、 Changhoon.、Kim、 Tai-hoon.、Yeo、 Sang-Soo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

0
索取号：
作者：Carette、 Jacques.、Dixon、 Lucas.、Coen、 Claudio Sacerdoti.、Watt、 Stephen M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Image Analysis and Recognition [electronic resource] : 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings

0
索取号：
作者：Kamel、 Mohamed.、Campilho、 Aur茅lio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. Interacting in Various Application Domains [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part III

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. Novel Interaction Methods and Techniques [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. New Trends [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Objects, Components, Models and Patterns [electronic resource] : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings

0
索取号：
作者：Oriol、 Manuel.、Meyer、 Bertrand.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Next-Generation Applied Intelligence [electronic resource] : 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings

0
索取号：
作者：Chien、 Been-Chian.、Hong、 Tzung-Pei.、Chen、 Shyi-Ming.、Ali、 Moonis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Engineering Societies in the Agents World IX [electronic resource] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers

0
索取号：
作者：Artikis、 Alexander.、Picard、 Gauthier.、Vercouter、 Laurent.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human Interface and the Management of Information. Information and Interaction [electronic resource] : Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号：
作者：Salvendy、 Gavriel.、Smith、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.